منابع مشابه
Faulty Logic: Reasoning about Fault Tolerant Programs
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating for securityand safetycritical systems. In order to mitigate these problems, software developers can add redundancy in various ways to their software systems. However, such redundancy is hard to reason about and corner...
متن کاملUse of SPOOF's in the Analysis of Faulty Logic Networks
In general, one cannot predict the effects of possible failures on the functional characteristics of a logic network without knowledge of the structure of that network. The structureand parity-observing output function (SPOOF) described in this paper provides a new and convenient means of characterizing both network structure and output function in a single algebraic expression. A straightforwa...
متن کاملBehavior of Faulty Double BJT BiCMOS Logic Gates'
Logic Behavior of Double BJT BiCMOS device under transistor level shorts and opens is examined. In addition to delay faults, faults that cause the gate to exhibit sequential behavior were observed. Several faults can be detected only by monitoring the current. The faulty behavior of Bipolar (TTL) and CMOS logic families is compared with BiCMOS, to bring out the testability differences.
متن کاملOn Metric Temporal Logic and Faulty Turing Machines
Metric Temporal Logic (MTL) is a real-time extension of Linear Temporal Logic that was proposed fifteen years ago and has since been extensively studied. Since the early 1990s, it has been widely believed that some very small fragments of MTL are undecidable (i.e., have undecidable satisfiability and model-checking problems). We recently showed that, on the contrary, some substantial and import...
متن کاملFaulty Conclusions
A case-control comparison of immunologic and psychological parameters in the multiple chemical sensitivity syndrome. This letter is prompted by Rall's editorial on media and science in the January issue of EHP (102:10). Rall implies that bad reporting is being conducted concerning dioxin, CFCs, and asbestos. Rall concludes by assuming that he is correct in assigning a high level of risk to each...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 2007
ISSN: 0028-0836,1476-4687
DOI: 10.1038/446257d